1. An introduction to combinators and )Lambda(-calculus
المؤلف: Hindley, J. Roger
المکتبة: (طهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Introduction to combinators and ]lambda[-calculus
المؤلف: Hindley, J. Roger
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
3. Lambda-calculus and combinators : an introduction
المؤلف: Hindley, J. Roger
المکتبة: (طهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
4. Lambda-calculus and combinators, an introduction
المؤلف: Hindley, J. Roger.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
5. Lambda-calculus, combinators, and functional programming
المؤلف: Revesz, Gyorgy E.
المکتبة: (طهران)
موضوع: ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
6. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Proofs and types
المؤلف: Girard, Jean-Yves
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
